Issue476c.agda:12,5-8
Not in scope:
  M.c
  at Issue476c.agda:12,5-8
when scope checking M.c
